Automated Theorem Proving

Evidential Paradigm: The Logical Aspect

Applied Mathematics / Automated Deduction / Automated Theorem Proving / First Order Logic